The Project - PDFSEARCH.IO - Document Search Engine

The Project
Results: 126129

#	Item
11	Small or medium-scale focused research project (STREP) ICT SME-DCA Call 2013 FP7-ICT-2013-SME-DCA Data Publishing through the Cloud: A Data- and Platform-as-a-Service Approach to Efficient Add to Reading List Source URL: bd7a65e2cb448908f934-86a50c88e47af9e1fb58ce0672b5a500.r32.cf3.rackcdn.com Language: English - Date: 2014-08-07 06:02:48 Computing Semantic Web Software requirements Data management Linked data Open data World Wide Web Business requirements Data as a service Resource Description Framework JSON
12	ESS Token Utility and Functions There are a number of key functions that ESS will enable, with additional functionality added in as the Essentia project is developed further. This will occur on an incremental basis, with Add to Reading List Source URL: essentia.one Language: English - Date: 2018-09-04 08:00:52 Cryptocurrencies Blockchains Concurrent computing Numismatics Distributed computing Kin Decentralized application Token coin Token
13	Verifying computations with state Benjamin Braun, Ariel J. Feldman⋆ , Zuocheng Ren, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin ⋆ University of Pennsylvania Abstract When Add to Reading List Source URL: www.pepper-project.org Language: English - Date: 2017-11-11 14:59:54 Cryptography Distributed computing architecture Parallel computing MapReduce Certificate IP NP Commitment scheme PP Computational complexity theory
14	COVER OF THESIS/FINAL PROJECT TEMPLATE DESIGN GUIDELINES Page. 1 Please follow the instructions to maintain a consistent representation of final Add to Reading List Source URL: en.ru.is Language: English - Date: 2018-01-11 10:23:53 Education Bachelor of Science Engineer's degree Master of Science in Management Master's degree King Fahd University of Petroleum and Minerals Tallinn University of Technology
15	SEVENTH FRAMEWORK PROGRAMME Trustworthy ICT Project Title: Enhanced Network Security for Seamless Service Provisioning in the Smart Mobile Ecosystem Add to Reading List Source URL: mavroud.is Language: English - Date: 2018-10-23 09:34:50 Mobile technology Technology Information and communications technology Mobile telecommunications Computer network security Femtocell Wi-Fi Anomaly detection GSM Generic Access Network SMS Network security
16	Small or medium-scale focused research project (STREP) ICT SME-DCA Call 2013 FP7-ICT-2013-SME-DCA Data Publishing through the Cloud: A Data- and Platform-as-a-Service Approach to Efficient Add to Reading List Source URL: bd7a65e2cb448908f934-86a50c88e47af9e1fb58ce0672b5a500.r32.cf3.rackcdn.com Language: English - Date: 2015-11-27 10:41:35 Knowledge representation Computing Data Information science Semantic Web Data management Technical communication Simple Knowledge Organization System Open data Geographic information system Data transformation Resource Description Framework
17	Analyzing individual proofs as the basis of interoperability between proof systems Gilles Dowek? Abstract. We describe the first results of a project to analyze in which theories formal proofs can be expressed and use th Add to Reading List Source URL: pxtp.github.io Language: English - Date: 2017-09-19 19:50:55 Mathematical logic Theoretical computer science Mathematics Type theory Logic in computer science Dependently typed programming Formal methods Logical framework Proof theory First-order logic Lambda calculus Calculus of constructions
18	Targeted Sponsorship Policy What is a Targeted Sponsor? Targeted sponsors support the foundation by helping specific parts of the foundation. For example, targeted sponsors today donate cloud services, fund project hacka Add to Reading List Source URL: apache.org Language: English - Date: 2018-10-05 14:42:08 Economy Fundraising Philanthropy Sponsor The Apache Software Foundation Proposal Allstate Finance
19	PROJECT PAI MOTIVATION WHITEPAPER DECENTRALIZED, PEER-ENABLED AI IDENTITIES FOR THE AI ECONOMY Add to Reading List Source URL: projectpai.com Language: English - Date: 2018-10-24 18:54:41 Cryptocurrencies Blockchains Concurrent computing Computing Alternative currencies Decentralization Cross-platform software Distributed computing Ethereum Decentralized application Bitcoin
20	Small or medium-scale focused research project (STREP) ICT SME-DCA Call 2013 FP7-ICT-2013-SME-DCA Data Publishing through the Cloud: A Data- and Platform-as-a-Service Approach to Efficient Add to Reading List Source URL: bd7a65e2cb448908f934-86a50c88e47af9e1fb58ce0672b5a500.r32.cf3.rackcdn.com Language: English - Date: 2015-08-12 06:45:02 Computing Software engineering Information and communications technology Data visualization Information technology governance Visualization Multitier architecture Mobile app development Cloud computing

UPDATE